how to prove that an inner automorphism is an automorphism